Observational specifications and the indistinguishability assumption

Observational Specifications and the Indistinguishability Assumption

To establish the correctness of some software w.r.t. its formal speciication is widely recognized as a diicult task. A rst simpliication is obtained when the semantics of an algebraic speciication is deened as the class of all algebras which correspond to the correct realizations of the speciication. A software is then declared correct if it corresponds to some algebra of this class. We approac...

Assumption-Commitment Specifications and Safety-Critical Systems

Observational entropy: entropy in the context of indistinguishability operators

The problem of measuring the uncertainty of a set of events is not new The rst attempts tried to quantify the uncertainty associated to a random ex periment So Hartley captured the intuitive idea that the more possible results for an experi ment the less it can be predicted de ning the un certainty as log n where n is the number of possible results Then we have log n log n and also that the unc...

Universal Computational Extractors and the Superfluous Padding Assumption for Indistinguishability Obfuscation

Universal Computational Extractors (UCEs), introduced by Bellare, Hoang and Keelveedhi (CRYPTO 2013), are a framework of assumptions on hash functions that allow to instantiate random oracles in a large variety of settings. Brzuska, Farshim and Mittelbach (CRYPTO 2014) showed that a large class of UCE assumptions with computationally unpredictable sources cannot be achieved, if indistinguishabi...

Observational interpretation of Casl specifications

MICHEL BIDOIT†, DONALD SANNELLA‡ and ANDRZEJ TARLECKI§ † Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France Website: www.lsv.ens-cachan.fr/~bidoit/ ‡ Laboratory for Foundations of Computer Science, University of Edinburgh, UK Website: homepages.inf.ed.ac.uk/dts/ § Institute of Informatics, Warsaw University, and Institute of Computer Science, Polish Academy of Sciences, War...